Pierre-Louis Curien: Z-Library 사이트에서 검색하기

모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서

지식과 문화를 자유롭게 접하기.

모금 9월 15일 2024 – 10월 1일 2024

Z-Library이란 세계에서 가장 큰 온라인 도서관 중 하나이며, 17,000,000 이상의 책과 84,837,000 이상의 기사 포함합니다. 우리는 모든 사람이 문학을 접할 수 있도록 하는 것을 목표로 합니다. 오늘 (9월 15일 2024) 프로젝트 운영과 발전을 위해 새로운 모금활동을 시작합니다.

또한 무제한 다운로드(기부가 이루어진 날 이후로 31일 동안)가 까지 모금 기간 내에 프로젝트를 지원해 주시는 모든10월 1일 2024 사용자 분들에게 주어집니다.

모금에 대해서상세정보

책들 (13)
가장 인기 있는
목록
- 목록
- 표

1

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Karim Nour, René David, Christophe Raffalli, Pierre-Louis Curien

년:

2004

언어:

french

파일:

DJVU, 2.45 MB

0 / 0

french, 2004

2

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés

René David, Karim Nour, Christophe Raffalli, Pierre-Louis Curien

년:

2004

언어:

french

파일:

EPUB, 49.48 MB

5.0 / 0

french, 2004

3

Domains and Lambda-Calculi

Domains and Lambda-Calculi

Cambridge University Press

Roberto M. Amadio, Pierre-Louis Curien

년:

1998

언어:

english

파일:

PDF, 3.45 MB

0 / 0

english, 1998

4

Interactive Models of Computation and Program Behavior

Interactive Models of Computation and Program Behavior

American Mathematical Society

Pierre-Louis Curien, Hugo Herbelin, Jean-louis Krivine, Paul-Andre Mellies

년:

2010

언어:

english

파일:

PDF, 17.05 MB

0 / 0

english, 2010

5

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.)

년:

2009

언어:

english

파일:

PDF, 5.37 MB

0 / 0

english, 2009

6

Domains and Lambda-Calculi

Domains and Lambda-Calculi

Roberto M. Amadio, Pierre-Louis Curien

년:

1996

언어:

english

파일:

PDF, 3.73 MB

0 / 0

english, 1996

7

Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

Pierre-Louis Curien

년:

1993

언어:

english

파일:

DJVU, 3.07 MB

0 / 0

english, 1993

8

Categorical Combinators, Sequential Algorithms, and Functional Programming

Categorical Combinators, Sequential Algorithms, and Functional Programming

Birkhäuser Basel

Pierre-Louis Curien

년:

1993

언어:

english

파일:

PDF, 11.41 MB

0 / 0

english, 1993

9

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

년:

1991

언어:

english

파일:

PDF, 17.48 MB

0 / 0

english, 1991

10

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)

년:

1991

언어:

english

파일:

DJVU, 2.68 MB

0 / 0

english, 1991

11

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Marcelo Fiore, Chung-Kil Hur (auth.), Pierre-Louis Curien (eds.)

년:

2009

언어:

english

파일:

PDF, 8.02 MB

0 / 0

english, 2009

12

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Combinators and Functional Programming Languages: Thirteenth Spring School of the LITP Val d'Ajol, France, May 6–10, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

P. Bellot, B. Robinet (auth.), Guy Cousineau, Pierre-Louis Curien, Bernard Robinet (eds.)

년:

1986

언어:

english

파일:

DJVU, 2.16 MB

0 / 0

english, 1986

13

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Domain Theory, Logic and Computation: Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001

Springer Netherlands

Pierre-Louis Curien (auth.), G Q Zhang, J. Lawson, Y.-M. Liu, M.-K. Luo (eds.)

년:

2003

언어:

english

파일:

PDF, 3.68 MB

0 / 0

english, 2003